例句與造句

1. In his 1952 text " Introduction to Metamathematics ", Stephen Kleene formally proved that the CASE function ( the IF-THEN-ELSE function being its simplest form ) is a primitive recursive function, where he defines the notion definition by cases in the following manner:
2. It's difficult to find notion definition in a sentence. 用notion definition造句挺難的